My Current Work on CertiKOS
نویسنده
چکیده
My research goal is to make critical software systems truly reliable and secure through formal verification. As the backbone of modern software systems, operating system (OS) kernels have great impacts on the reliability and security of today’s computing hosts. OS kernels, however, are complicated, highly concurrent, and prone to bugs. For the past several years, my research has focused on investigating compositional programming language theories and developing scalable tools to build verified sequential and concurrent OS kernels that are formally proved to be error-free and secure [POPL’15, OSDI’16, PLDI’16a, PLDI’16b]. Broadly speaking, my research falls into the subfield of programming languages, dealing with the principles and practice of formal verification of real software systems.
منابع مشابه
A Comparative Analysis on Sony’s Approach to Problem Solving and Decision-Making
Decision making and problem solving are especially important skills for business and life. As an innovation leading corporate, Sony has gradually lost their superiority in innovation and core competences under more and more intensive competition environment. This report is made to investigate Sony current procedure on its solving problems and making decision, analyze approaches and tools used b...
متن کاملDC Distribution with Fuel Cells as Distributed Energy Resources
Dedication This dissertation is dedicated to my loving wife. Her continued support and unconditional love have provided me enough energy and time to continue and finish my research. This work is also dedicated to my parents, who have been beyond patient and have always been there when I needed them. Their love for their children is beyond any that I have ever witnessed. 4 Acknowledgments I woul...
متن کاملLocal and Global: Cities in the Network Society
Over the past year or so, I have expanded my work in both areas of my current research. I have explored deeper the interaction between information technology and society, some outcomes of which have recently been published on the internet (Castells 2001). I have also continued my analysis of spatial transformation through an interdisciplinary approach to the problems of cities and regions. This...
متن کاملStatement of Research
My current research lies in the fields of quantum algebra and representation theory. In particular, my recent work has studied the structure theory of quantum groups via Hall algebras. This work has also touched on aspects of category theory as a tool for gaining insight into the underlying details. In Section 2 I describe the motivation and basic ideas of Hall algebras. In Section 3 I describe...
متن کامل1. Distributed Network Monitoring with Bounded Link Utilization
My main research interests are networking, systems and distributed computing. My work involves both designing practical algorithms with sound theoretical foundations and building prototype systems. My work has spanned the application, routing, and transport layers. The main thrust of my work is developing eÆcient and enabling solutions for real networking problems. I brie y describe my current ...
متن کامل